COMMENT ⊗   VALID 00004 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002		This is what I think I have discovered about the relations
C00005 00003	Moore - Gedanken experiments with sequential machines
C00006 00004	lectures
C00007 ENDMK
C⊗;
	This is what I think I have discovered about the relations
between philosophy and artificial intelligence.  I believe these
results are important for both AI and philosophy, and not merely in
the sense of philosophy of science which studies the kinds of ideas
occurring in the science and its basic methodology.

	They are important for AI because an artificial intelligence
must be provided with a general view of the world and of how knowledge
is to be obtained.  They are important for philosophy because they
provide a more objective point of view that can model many controversies
as technical problems just as modern logic has done that to
controversies about the foundations of mathematics.

Epistemological systems as mathematical objects.

Automaton metaphysics
Automaton epistemology

Cartesian counterfactuals (the role of counterfactuals requires building up)
Approximate theories

List of definitions of mental qualities
2nd order theories

concepts as objects
formalization of knowledge

situation calculus
non-monotonic reasoning

general notions of pattern

formalizations in first order logic and set theory
blocks world
ad hocery vs. general formulations

blind alleys
	sequence extrapolation
	gps
	automaton models of the world
	strips
	probability theory
	fuzzy logic

slogans
	design before building
Moore - Gedanken experiments with sequential machines
Dennett's brainstorms
Sloman
Dreyfuss's new introduction - Which are real problems that AI has
to solve, and which are too confusedly stated?
Montague, and Montague and Kaplan

Reiter and McDermott
Green thesis
Moore's Master's thesis

Programs with common sense
Philosophical Problems from the Standpoint ...
Ascribing Mental Qualities
Knowledge puzzles (revise axioms according to Ma)
Circumscription
Tough nut
First order theory of concepts
lectures
philosophy+automaton model
situation calculus
blocks world
	exercise - fol proof in blocks world
axiomatization of knowledge
	s and p
first order concepts and other non-monotonic formalisms
circumscription
blind alleys
approximate theories